6

Parallel Dovetailing and its Application to Depth-First Proof-Number Search

Année:
2013
Langue:
english
Fichier:
PDF, 281 KB
english, 2013